Semantics of programming languages - PDFSEARCH.IO - Document Search Engine

Semantics of programming languages
Results: 156

#	Item
121	PDF Document Add to Reading List Source URL: arghbox.files.wordpress.com Language: English - Date: 2013-06-13 07:18:02 Procedural programming languages Scripting languages Python Python syntax and semantics Cross-platform software List comprehension ALGOL 68 Control flow Comparison of programming languages Software engineering Computing Computer programming
122	Type-theoretic semantics for transactional concurrency Aleksandar Nanevski Paul Govereau Greg Morrisett Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Program logic Logic in computer science Procedural programming languages Formal methods Models of computation Hoare logic Separation logic First-order logic ALGOL 68 Mathematical logic Logic Theoretical computer science
123	Between Kinds and Properties: Bare Plurals Across Languages Two major accounts of bare plurals (BPs) employ type-shifting. Chierchia[removed]proposes that BPs are basically properties, but are type-shifted to kinds. Addit Add to Reading List Source URL: www.salt17.uconn.edu Language: English - Date: 2007-03-06 22:43:24 Grammar Semantics Predicate Grammatical number Singular they Copula Generic programming Shifting Manfred Krifka Linguistics Parts of speech Syntax
124	Once, Weakly: Type Structures Type Structures This installment discusses the concept of “type-structures” as a compile-time analog of runtime data structures, and demonstrates how to construct and manipulate simple l Add to Reading List Source URL: www.semantics.org Language: English - Date: 2013-04-08 13:05:06 C++ C programming language Data types Type theory Procedural programming languages Typedef Struct C Typename Software engineering Computing Computer programming
125	Once, Weakly: A Matter of Judgment A Matter of Judgment My new book, C++ Gotchas1 , has had pretty positive reviews, 2 but it contains one section that seems to send most everyone into paroxysms of rage, including the re Add to Reading List Source URL: www.semantics.org Language: English - Date: 2013-04-08 13:05:09 Cross-platform software Holism Procedural programming languages Subroutines Control flow Coroutine C Goto Structured programming Computing Computer programming Software engineering
126	Nomadic Pict: Programming Languages, Communication Infrastructure Overlays, and Semantics for Mobile Computation PETER SEWELL Computer Laboratory, University of Cambridge and Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2010-02-03 14:17:39 Applied mathematics Mathematics Π-calculus Deduction Concurrent computing Process calculus Models of computation Actor model Lambda calculus Process calculi Logic Theoretical computer science
127	Lem: reusable engineering of real-world semantics Dominic P. Mulligan Scott Owens Kathryn E. Gray Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-11 10:57:39 Type theory Functional languages Logic in computer science Procedural programming languages Functional programming OCaml Proof assistant Coq Formal verification Software engineering Computing Programming language theory
128	The Semantics of x86-CC Multiprocessor Machine Code Susmit Sarkar1 Scott Owens1 Tom Ridge1 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2008-11-13 18:04:35 Computer memory Assembly languages Low-level programming language MOV X86 Spinlock Memory barrier Memory ordering Parallel computing Computer architecture Computing X86 architecture
129	Domain Theory for Concurrency —New Categorical Foundations EPSRC Research Grant Application Case for support Glynn Winskel Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-03-03 06:09:38 Logic Denotational semantics Semantics of programming languages Power domains Operational semantics Sheaf Π-calculus Concurrency Semantics Theoretical computer science Logic in computer science Mathematics
130	CURRICULUM VITAE: Glynn Winskel Date and place of birth: [removed], Lancaster, England. Family: Married, with two daughters. Work addresses: University of Cambridge Computer Laboratory William Gates Building Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-12-18 21:05:43 Mathematics Programming language semantics Aarhus University Coimbra Group Functionalist architecture Denotational semantics Computer science Semantics of programming languages Programming language theory Theoretical computer science Logic in computer science Mathematical logic

UPDATE